with (a) b;